Getting Started

This section is intended to give a broad overview of the SB-Prolog system, so as to enable the new user to begin using the system with a minimum of delay. Many of the topics touched on here are covered in greater depth in later sections.



Subsections